A Simple, Possibly Correct LR Parser for C11
نویسندگان
چکیده
منابع مشابه
A correct LR parser for C11
declarator: | pointer| ioption(pointer) direct_abstract_declarator{} direct_abstract_declarator:| LPAREN save_context abstract_declarator RPAREN| direct_abstract_declarator? LBRACK ioption(type_qualifier_list) assignment_expression? RBRACK| direct_abstract_declarator? LBRACK STATIC type_qualifier_list? assignment_expression RBRACK| direct_abstract_declarator? LBRACK type...
متن کاملLR(1) Parser Generator Hyacc
The space and time cost of LR parser generation is high. Robust and effective LR(1) parser generators are rare to find. This work employed the Knuth canonical algorithm, Pager’s practical general method, lane-tracing algorithm, and other relevant algorithms, implemented an efficient, practical and open-source parser generator Hyacc in ANSI C, which supports full LR(0)/LALR(1)/LR(1) and partial ...
متن کاملNotes On LR Parser Design
1 INTRODUCTION This paper discusses the design of an LR parser for a speciic high-coverage English grammar. The design principles, though, are applicable to a large class of uniication-based grammars where the constraints are realized as Prolog terms and applied monotonically through instantiation, where there is no right movement , and where left movement is handled by gap threading. The LR pa...
متن کاملNotes on Lr Parser Design Christer Samuelsson 2 Lr Parsing
1 INTRODUCTION This paper discusses the design of an LR parser for a speciic high-coverage English grammar. The design principles, though, are applicable to a large class of uniication-based grammars where the constraints are realized as Prolog terms and applied monotonically through instantiation, where there is no right movement , and where left movement is handled by gap threading. The LR pa...
متن کاملHASDF: A Generalized LR-parser Generator for Haskell
Language-centered software engineering requires language technology that (i) handles the full class of context-free grammars, and (ii) accepts grammars that contain syntactic information only. The syntax definition formalism SDF combined with GLR-parser generation offers such technology. We propose to make SDF and GLR-parsing available for use with various programming languages. We have done so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2017
ISSN: 0164-0925,1558-4593
DOI: 10.1145/3064848